Free shipping on all orders! No minimum purchase required.
Logic-Based Program Synthesis and Transformation
by German Puebla (Editor)
Static Analysis
by Manuel Hermenegildo (Editor), German Puebla (Editor)
